assertion language in Chinese
Translation
Mobile
- 判定語(yǔ)言
- "assertion" in Chinese : n. 1.主張，斷言，確言。 2.維護(hù)，堅(jiān)持。 短語(yǔ)和例 ...
- "language" in Chinese : n. 1.語(yǔ)言；(某民族，某國(guó)的)國(guó)語(yǔ)；語(yǔ)調(diào)，措詞。 2 ...
- "assertion" in Chinese : n. 1.主張，斷言，確言。 2.維護(hù)，堅(jiān)持。 stand to ...
- "arbitrary assertion" in Chinese : 武斷, 任意斷定
- "assertion checker" in Chinese : 斷言檢查程序
- "assertion checking" in Chinese : 斷言檢查 用戶在程序中嵌入的斷言的檢查。
- "assertion data" in Chinese : 斷言數(shù)據(jù)
- "assertion database" in Chinese : 斷言數(shù)據(jù)庫(kù)
- "assertion element" in Chinese : 斷言元素
- "assertion judgment" in Chinese : 斷言判斷
- "assertion list" in Chinese : 斷言表
- "assertion of rights" in Chinese : 維護(hù)權(quán)利
- "assertion operator" in Chinese : 斷言語(yǔ)句
- "assertion sign" in Chinese : 斷定符; 斷定號(hào)
- "assertion statement" in Chinese : 斷言語(yǔ)句
Examples
- The last level , assertion , is typically implemented through java code or through a dedicated assertion language such as schematron
最后一層，即斷言，通常使用java代碼或者專門(mén)的斷言語(yǔ)言如schematron來(lái)實(shí)現(xiàn)。 - So that particular argument for extending the assertion language or for expressing contracts in english goes away at least in the long term
因此，有關(guān)擴(kuò)展斷言語(yǔ)言和英語(yǔ)中的契約表述的爭(zhēng)論，在一個(gè)較長(zhǎng)時(shí)期后將會(huì)沉寂下來(lái)。 - This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code
這只是可以用傳統(tǒng)斷言語(yǔ)言表示的程序特性類型的簡(jiǎn)短列表所有程序員都希望在代碼中包含的特性： - We can now consider the three languages for the specification of an interface that is , the unit testing language , the assertion language , and the type system to form a hierarchy of expressiveness
現(xiàn)在我們可以考慮用接口規(guī)范的三種語(yǔ)言（它們是，單元測(cè)試語(yǔ)言、斷言語(yǔ)言和類型系統(tǒng)）來(lái)形成表達(dá)的層次。 - Let s take a quick look at three categories of common assertion properties common , but which don t offer us the full coverage we d like , compare them with the types of program properties that can be expressed in a traditional assertion language , and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
讓我們快速瀏覽三種類型常見(jiàn)的斷言特性（雖然是常見(jiàn)的，但它們沒(méi)有提供我們所需的完整范圍） ，將它們與可以用傳統(tǒng)斷言語(yǔ)言表示的程序特性的類型進(jìn)行比較，并檢查多線程上下文所必需的，但不可能表示成常規(guī)斷言的斷言特性。
Related
"assertion" in Chinese, "extrajudicial assertion" in Chinese, "global assertion" in Chinese, "assertion database" in Chinese, "intermittent assertion" in Chinese, "assertion element" in Chinese, "dynamic assertion" in Chinese, "assertion checking" in Chinese, "transition assertion" in Chinese, "assertion data" in Chinese, "assertion judgment" in Chinese, "assertion list" in Chinese, "assertion of rights" in Chinese, "assertion operator" in Chinese, "assertion sign" in Chinese, "assertion statement" in Chinese,
Neighbors
What is the meaning of assertion language in Chinese and how to say assertion language in Chinese? assertion language Chinese meaning, assertion language的中文，assertion language的中文，assertion language的中文，translation, pronunciation, synonyms and example sentences are provided by ichacha.net.